PFA(S)[S] and the Arhangel’skĭı-Tall problem
نویسنده
چکیده
We discuss the Arhangel’skĭı-Tall problem and related questions in models obtained by forcing with a coherent Souslin tree.
منابع مشابه
PFA(S)[S] and countably compact spaces
We show a number of undecidable assertions concerning countably compact spaces hold under PFA(S)[S]. We also show the consistency without large cardinals of every locally compact, perfectly normal space is paracompact.
متن کاملPFA(S)[S] and Locally Compact Normal Spaces
We examine locally compact normal spaces in models of form PFA(S)[S], in particular characterizing paracompact, countably tight ones as those which include no perfect pre-image of ω1 and in which all separable closed subspaces are Lindelöf.
متن کاملPFA(S)[S]: more mutually consistent topological consequences of PFA and V = L
Extending work of [14, 16, 26], we show there is a model of set theory in which normal spaces are collectionwise Hausdorff if they are either first countable or locally compact, and yet there are no first countable L-spaces or compact S-spaces. The model is one of the form PFA(S)[S], where S is a coherent Souslin tree.
متن کاملA Useful Model ( Notes for 2011 Summer Topology Conference )
In these notes and the accompanying lectures I introduce models of form PFA(S)[S], a useful class of models of set theory in which various consequences of both PFA and V = L hold. We list some of these consequences and topologically derive new results from them. Then we present some of the characteristic set-theoretic methods used to prove things in these models.
متن کاملOn the Hereditary Paracompactness of Locally Compact, Hereditarily Normal Spaces
We establish that if it is consistent that there is a supercompact cardinal, then it is consistent that every locally compact, hereditarily normal space which does not include a perfect pre-image of ω1 is hereditarily paracompact. This is the fifth in a series of papers ([LTo], [L2], [FTT], [LT], [T1] being the logically previous ones) that establish powerful topological consequences in models ...
متن کامل